Towards an Axiomatic Treatment of "Interpretability"
نویسندگان
چکیده
The aim of this contribution is to point out the importance of interpretability of fuzzy rule-based systems. We try to approach this key property axiomatically, as a starting point, restricting to interpretability of linguistic variables (in Zadeh’s sense). The proposed approach is underlined with an intuitive example. Finally, the benefits of considering interpretability in design and tuning of fuzzy systems are discussed.
منابع مشابه
Interpretability of linguistic variables: a formal account
This contribution is concerned with the interpretability of fuzzy rule-based systems. While this property is widely considered to be a crucial one in fuzzy rule-based modeling, a more detailed formal investigation of what "interpretability" actually means is not available. So far, interpretability has most often been associated with rather heuristic assumptions about shape and mutual overlappin...
متن کاملA Lean Manufacturing Roadmap for an Automotive Body Assembly Line within Axiomatic Design Framework
In this paper we are to present a practical application of Axiomatic Design (AD) methodology, as a roadmap to lean production, in redesigning a car body assembly line. Axiomatic Design theory provides a framework to simplify the whole problem. According to the AD principles, a hierarchical structure has been developed. The developed structure originated in lean manufacturing principles and exis...
متن کاملThe Interpretability Logic of Peano Arithmetic
PA is Peano arithmetic. The formula InterppA(r,/l) is a formalization of the assertion that the theory PA + a interprets the theory PA + , O (the variables a and are intended to range over codes of sentences of PA). We extend Solovay's modal analysis of the formalized provability predicate of PA, PrpA(x), to the case of the formalized interpretability relation Interp,,(x, y). The relevant modal...
متن کاملThe Modal Completeness of ILW
This paper contains a completeness proof for the system ILW, a rather bewildering axiom system belonging to the family of interpretability logics. We have treasured this little proof for a considerable time, keeping it just for ourselves. Johan’s fiftieth birthday appears to be the right occasion to get it out of our wine cellar.
متن کاملWhy the Theory R Is Special
Is it possible to give coordinate-free characterizations of salient theories? Such characterizations would always involve some notion of sameness of theories: we want to describe a theory modulo a notion of sameness, without having to give an axiomatization in a specific language. Such a characterization could, e.g., be a first order formula in the language of partial preorderings that describe...
متن کامل